Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
171	Study on Evolution Trends of Network Public Opinion Based on Hyperlink Analysis Qiong Gu1, 2, Xiangdong He1,Xianming Wang 3 1 Institute of Logic and Intelligence, Southwest University, Add to Reading List Source URL: dline.info Language: English - Date: 2015-01-28 11:52:19 Computing Search engine optimization Internet Human–computer interaction Internet search engines PageRank HITS algorithm Web crawler Backlink World Wide Web Link analysis Digital media
172	Symbolic Dynamic Programming for First-order POMDPs Scott Sanner Kristian Kersting NICTA & ANU Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-04-14 03:16:52 Markov processes Stochastic control Mathematical sciences Mathematical optimization Logic programming Partially observable Markov decision process Markov decision process Situation calculus Optimal control Statistics Control theory Dynamic programming
173	Enumeration Algorithms for Restricted and Unrestricted Compositions and Words Daniel R. Page Department of Computer Science University of Manitoba Winnipeg, Manitoba, Canada Add to Reading List Source URL: www.pagewizardgames.com Language: English - Date: 2014-09-02 14:46:20 Applied mathematics Theoretical computer science Algorithm Mathematical logic Permutation Mathematical optimization Optimization problem Gray code Quantum algorithm Mathematics Combinatorics Operations research
174	EE 219B LOGIC SYNTHESIS, MAY[removed]Software Optimization Using Hardware Synthesis Techniques Bret Victor, [removed] Add to Reading List Source URL: worrydream.com Language: English - Date: 2001-01-06 03:41:13 Procedural programming languages Bc programming language C Logic synthesis ALGOL 68 Algorithm Static single assignment form Boolean data type SystemVerilog Computing Software engineering Programming language theory
175	OPTIMIZATION AND CHARACTERIZATION OF 130 NM CMOS TRANSISTOR DESIGN USING TCAD SIMULATION HANI NOORASHIQIN BINTI ABD. MAJID FACULTY OF SCIENCE Add to Reading List Source URL: dspace.fsktm.um.edu.my Language: English - Date: 2010-02-04 01:52:29 Integrated circuits Logic families Digital electronics Semiconductors MOSFET CMOS Field-effect transistor Threshold voltage Hot carrier injection Electronic engineering Electromagnetism Electrical engineering
176	Student Retention Symposium Hong Zhang, School of Engineering Engineering Problem Formulation and Solving in 1st Year Computing and Programming Course So thanks very much. Add to Reading List Source URL: www.griffith.edu.au Language: English - Date: 2012-09-17 02:10:27 Theoretical computer science Science Engineering Applied mathematics Mathematical optimization Dynamic programming Genetic algorithm Mathematical logic Mathematics Algorithm
177	New Developments in Artificial Intelligence and the Semantic Web Add to Reading List Source URL: www.stes.fi Language: English - Date: 2006-10-23 12:12:00 Steel Mathematical optimization Fuzzy set Scrap Electric arc furnace Steelmaking Fuzzy logic Logic
178	Proof Optimization for Partial Redundancy Elimination Ando Saabas Tarmo Uustalu Institute of Cybernetics, Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:23:54 Predicate transformer semantics Hoare logic Partial redundancy elimination Program logic Theoretical computer science Formal methods
179	Introduction COMS21103 Dynamic programming is a way of finding efficient algorithms for problems which can be broken down into simpler, overlapping subproblems. Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-01-08 09:09:07 Operations research Computer programming Mathematical optimization Theoretical computer science Mathematical logic Algorithm Divide and conquer algorithm Overlapping subproblems Recursion Dynamic programming Mathematics Applied mathematics
180	Developing a Formal Semantics for Babelsberg: A Step-by-Step Approach Tim Felgentreff, Todd Millstein, and Alan Borning VPRI Technical Report TR-2014-002a Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-03-04 14:17:47 Computing Mathematical optimization Logic programming Constraint logic programming Programming paradigms Constraint Prolog Constraint satisfaction Constraint optimization Constraint programming Software engineering Computer programming

UPDATE